Sequential logic - PDFSEARCH.IO - Document Search Engine

Sequential logic
Results: 80

#	Item
11	lecture 03 sequential logic Add to Reading List Source URL: nand2tetris.org Language: English - Date: 2012-07-24 08:06:06 Sequential logic Electronics Flip-flop Digital electronics Electronic engineering Automata theory
12	Lecture 19: The Logic of Circuits, II 1 Review: Sequential Circuits Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2014-12-02 09:50:08
13	MASSACHUSETTS INSTITUTE OF TECHNOLOGY DEPARTMENT OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCEComputation Structures Spring 2004 Quiz #2: March 12, 2004 Name Add to Reading List Source URL: 6004.csail.mit.edu Language: English - Date: 2012-01-17 10:22:28 Automata theory Electromagnetism Computer memory Flip-flop Finite-state machine Logic gate Sequential logic Multivibrator Contamination delay Digital electronics Electronic engineering Electronics
14	ConSeq: Detecting Concurrency Bugs through Sequential Errors Wei Zhang1 Junghee Lim1 Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2011-02-02 17:07:10 Software bugs Logic in computer science Debugging Lock Race condition Thread Parallel computing Assertion Dynamic random-access memory Computing Computer programming Software engineering
15	Microsoft Word - EE3011_v2013_New_SDF.doc Add to Reading List Source URL: www.ee.polyu.edu.hk Language: English - Date: 2013-09-06 05:14:57 Electromagnetism Digital electronics Digital signal processing Electronic design Electronic design automation Logic gate Sequential logic Integrated circuit Comparator Electronic engineering Electronic circuits Electronics
16	11693_2007_9006_1_2-web Add to Reading List Source URL: www.dna.caltech.edu Language: English - Date: 2015-04-03 03:41:58 Flip-flop Transcription factor Promoter Bistability Transcriptional regulation Regulation of gene expression Epigenetics Signal transduction Sequential logic Biology Gene expression Gene regulatory network
17	Presentation brochure Simulín Simulín Digital Circuit Add to Reading List Source URL: labatc.umh.es Language: English - Date: 2014-09-01 16:34:10 Electronic design Electronic design automation Logic in computer science Sequential logic Logic gate Adder Flip-flop Combinational logic Counter Electronic engineering Electronics Digital electronics
18	Towards Automatic Verification of Embedded Control Software Nanette Bauer University of Dortmund, Department of Chemical Engineering Emil-Figge-Str. 70, DDortmund, Germany Ral Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2014-09-25 06:02:19 Theoretical computer science Industrial automation Sequential function chart Formal methods Concurrency Logic in computer science Petri net IEC 61131-3 Actor model Technology Computing Models of computation
19	A CALCULUS FOR DISTRIBUTED MOBILE COMPUTING WITH STATIC RESOURCE ACCESS AND USAGE CONTROL By Mayuresh Kulkarni A Thesis Submitted to the Graduate Add to Reading List Source URL: wcl.cs.rpi.edu Language: English - Date: 2015-01-22 12:33:50 Computing Ambient calculus Π-calculus Process calculus Actor model Calculus Lambda calculus Communicating sequential processes Combinatory logic Process calculi Computer science Applied mathematics
20	Specifying and Checking Java using CSP? Michael M¨oller Universit¨ at Oldenburg, Fachbereich Informatik Postfach 2503, D–26111 Oldenburg, Germany Add to Reading List Source URL: www.cs.kun.nl Language: English - Date: 2002-05-29 03:53:26 Logic in computer science Formal methods Concurrent computing Cross-platform software Process calculi Communicating sequential processes Runtime verification Actor model Process calculus Computing Theoretical computer science Software engineering